基于安全协议代码的形式化辅助建模研究

随着安全协议形式化分析技术的不断发展,利用工具自动验证虽已得到实现,但建模环节仍需依赖专业人员手工建模,难度大且成本高,限制了此技术的进一步推广。为了提高建模的自动化程度,提出了依据安全协议代码进行形式化模型辅助生成的方案。首先,使用污点分析获取协议的通信流程,并且记录密码学原语操作;然后,根据通信流程之间的序列关系构建协议通信状态机;最终,根据目前主流的安全协议形式化分析工具Tamarin的模型语法生成形式化模型。实验结果表明,此方案可以生成形式化模型中的关键部分,提高了形式化建模的自动化程度,为形式化分析技术的推广作出贡献。     

基于GNU Radio和USRP的切换天线方向调制物理层安全系统

提出了一种切换天线方向调制物理层安全传输系统,利用天线的切换选择扰乱非期望方向的窃听者进行信息窃密,实现了视距空间的保密通信。基于GNU Radio和USRP软件无线电平台,结合高速射频开关、FPGA控制板、网络收发模块以及阵列天线搭建了实验验证系统。通过测试窃听者位于不同方位角的视频传输质量和信号星座样式验证了该方法的可行性,结果表明与传统阵列天线相比,切换天线方向调制技术能提供更安全的视距通信。     

落球法测量液体粘滞系数的实验研究

通过实验并利用 OriginP ro8.0软件对实验数据进行了线性拟合,给出了在实验室条件下斯托克斯公式的修正系数,并将计算结果与公认值进行了比较。结果表明,给出的修正公式的计算结果误差小,数据离散程度较小。在相同条件下对2种不同液体所做实验得到一致的结论。     

雅安市旅游WebGIS的构建及其存在问题探讨*

基于ArcIMS9.0系统,并结合ArcXML、JavaScript等编程技术、数据库技术及空间数据库引擎ArcSDE,构建了雅安市旅游WebGIS系统。在WebGIS基础平台上,对雅安市旅游资源信息进行采集、存储、管理、分析和图形处理显示,并由图形、图像、文字和声音等多种形式综合展示。针对系统构建过程中遇到的一些主要问题提出了有效的解决方案。针对目前尚未有适合中国国情的地址编码方案问题,率先编制了中国式的地址标准化规则文件和匹配规则文件;利用MapObjects＋VB 6.0开发了地址匹配软件,不仅提高了地址匹配成功率,还大幅度提升了匹配效率;利用TM和DEM等多源信息融合技术解决了三维＂近自然＂地形的显示问题。     

P2P网络中基于RDF/S的数据库语义查询系统设计*

提出一种P2P网络环境下基于RDF/S 数据模型的数据库语义查询原型系统,可以有效地对各种基于ODBC的异构数据源进行语义查询。首先数据内容经RDF/S描述成RDF/S schema片断形式,然后对片段进行编码,再把编码杂凑到DHT中,就可以使用Chord协议定位目标节点。     

基于AOP技术的通用线程监控平台GTMP*

提出并实现了基于AOP技术的通用线程监控平台。借助AOP的需求空间分离实现技术,使用该平台的原系统不必事先具有监控能力,该平台可以在不手动改变系统源代码的情况下通过工具自动植入系统内部,为系统注入监控功能,实现对运行线程信息的监视和对指定线程运行速度的变换,实现对整个系统运行行为的控制。     

导磁体在汽车零件感应加热中的应用技术

本文简单介绍了导磁体工作的基本原理，并给出在汽车零件大规模生产中所积累的导磁体应用的一些经验，以阐明如何更有效地使用导磁体。     

Fabrication and properties of low oxygen grade Al2O3 dispersion strengthened copper alloy

The low oxygen grade Al2O3 dispersion strengthened copper alloy without hydrogen-fired expansion was fabricated by the technique of vacuum hot press and hot extrusion. The mechanical and electrical properties measurements and microstructures observation on as-hot extruded, as-cold drawn and as-annealed Cu-Al2O3 alloy were conducted. The results show that the addition of a suitable amount of boron in the alloy can lower the residual free oxygen content and then inhibit the hydrogen-fired expansion. The density, σb, σ0.2, hardness, δ and electrical conductivity of the alloy reach 8.86 g/cm^3 (relative density of 99.6%), 340MPa, 250MPa, HB95,24% and 93%(IACS) respectively after hot extruded with the extrusion ratio of 30:1. Its properties have no change after annealed at 900℃ for 1h. Its strength increases after cold drawing, while its ductility and electrical conductivity drop gradually. Various properties of the cold drawn alloy can recover to those of as-extruded after annealed at 900℃ for 1h without the occurrence of recrystallization.     

10CrMo910钢焊接工艺探讨

通过对大庆２００ＭＷ机组主蒸管道１０ＣｒＭｏ９１０钢的焊接性能分析,提出了一整套行之有效的焊接工艺,并在施工现场检修焊接中进行了实践,为焊接同类钢材提供了可借鉴的经验和工艺参数。     

H2PO2-的氧化方式与化学镀Ni-P合金历程

硫酸镍-次亚磷酸钠体系中的化学镀反应,是一个在多相体系中进行的复杂物理-化学过程,因此,存在多种关于它的理论或看法.综合目前较为流行的几种理论认为,各种机理理论存在的最大差别在于H2PO2-被氧化方式上的差异.文中还结合自己的研究结果,认为化学沉积Ni-P合金的机理是一个"氢化物-电化学联合机理".